Contrôle et implémentation des systèmes temporisés

Cet article est une introduction au contrôle des systèmes modélisés par des automates temporisés. Nous définissons les notions de base du contrôle vu comme un jeu : stratégie, objectif de contrôle, états gagnants. On s’intéresse ensuite aux opérateurs de base permettant de résoudre les jeux temporisés. Nous considérons le cas des jeux de sûreté pour lesquels nous donnons un exemple complet de calcul de contrôleur. Nous abordons ensuite la notion importante d’implémentabilité des contrôleurs. Deux points de vue sont proposés : l’un syntaxique, qui consiste à décrire la plate-forme cible pour l’implémentation par des automates temporisés ; l’autre sémantique, qui considère une sémantique implémentable des automates temporisés.